
%-------------------------------------------------
%             \chapter{Latex编写格式说明}
%-------------------------------------------------

\section{使用的环境}

\section{定义}
整除定义示例。
\begin{verbatim}
	\begin{definition}{整除}{int}
		$a,b \in \mathbb{Z},b \neq 0$,如果存在$q \in \mathbb{Z}$,使得$a=qb$,
		就称a可被b整除或者b整除a，记为$b\mid a$。
		a是b的倍数，b是a的因子（或约数、除数）。若a不能被b整除，记为$b \nmid a$。
	\end{definition}
\end{verbatim}

\section{定理}
	\begin{verbatim}
		\begin{theorem}{}{set}
		X和Y为有限集，且X和Y的元素个数相同(记为$|X|=|Y|$)，则$f:X\rightarrow Y$是单射，当且仅当它是一个满射。
		\end{theorem}
	\end{verbatim}
\section{示例}
	\begin{verbatim}
		\begin{example}
		证明幂等律$A \cup A=A$。
		\end{example}
	\end{verbatim}
\section{示例解答}
	\begin{verbatim}
		\begin{solution}
		    bla bla bla。
		\end{solution}
	\end{verbatim}
\section{证明}
	\begin{verbatim}
		\begin{proof}
		(1) 假设结论不成立，那么至少存在一个元素属于空集，但不属于A，按照空集的定义，显然任何元素都不属于空集，所以产生矛盾，顾假设错误，结论得证。\\
		(2) 反证法：假设有两个不同的空集$\phi_1, \phi_2$，根据空集性质$\phi_1 \subseteq \phi_2$，$\phi_2 \subseteq \phi_1$，根据集合相等的定义，我们知道这两个集合相等，与假设矛盾，结论得证。
		\end{proof}
	\end{verbatim}
\section{SageMath示例代码}
	\begin{verbatim}
		\begin{SageMath}{罗列方式定义有限集合}
			\begin{lstlisting}
			sage: #有限集的定义：罗列的方式
			....: x=Set([1,2,3,4,5,6])
			....: x
			....: x.is_finite()
			....: 
			{1, 2, 3, 4, 5, 6}
			True
			\end{lstlisting}
		\end{SageMath}
	\end{verbatim}
\section{贴图}
	\begin{verbatim}
		\begin{figure}[!htbp]
			\centering
			\includegraphics[width=0.6\textwidth]{mpg.png}
			\caption{MPG 和 Weight 的关系图\label{fig:mpg}}
		\end{figure}
	\end{verbatim}